1. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
2. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
P736
Vol
.
168
3. Algebra, mathematical logic, number theory, topology,Algebra, matematicheskaia logika, teoriia chisel, topologiia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
4. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
5. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
6. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
7. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
8. Logic and arithmetic
پدیدآورنده : Bostock, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Arithmetic-- Foundations,، Logic, Symbolic and mathematical,، Number theory
رده :
QA
248
.
B725
9. Logical number theory : an introduction
پدیدآورنده : Smorynski, C
موضوع : ، Number theory,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Logical number theory : an introduction
پدیدآورنده : Smorynski, Craig
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Number theory
رده :
QA
9
.
S57
11. Martin Davis on computability, computational logic, and mathematical foundations
پدیدآورنده : Eugenio G. Omodeo, Alberto Policriti, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
رده :
QA
241
.
M38
12. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
13. Sets, logic
پدیدآورنده : Dodge, Clayton W.,]by[ Clayton W. Dodge
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
241
.
D6